\begin{tabbing}
encrypt(${\it tab}$;${\it keyv}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=let $K$,$p$,$f$ = ${\it tab}$ in \+
\\[0ex]$\langle$$K$$,\,$($p$+1)$,\,$if $p$$<_{2}$$K$$\rightarrow$ update($\lambda$$i$,$j$. $i$=$_{2}$$j$;$f$;$p$;$\langle$1of($f$($p$))$,\,$${\it keyv}$$\rangle$) else $f$ fi$\rangle$
\-
\end{tabbing}